Specialising Logic Programs with Respect to Call?Post Specifications
نویسندگان
چکیده
In this paper we present a program specialisation method which, given a call/post speciication, transforms a logic program into a weakly call-correct one satisfying the post-condition. The specialisation is applied to specialised partially correct programs. This notion is based on the deenition of specialised derivation which is intended to describe program behaviour whenever some properties on procedure calls are assumed. Top-down and bottom-up semantics of spe-cialised derivations are recalled.
منابع مشابه
Specialising Logic Programs with Respect to Call/post Speciications
In this paper we present a program specialisation which, given a call/post speciication, transforms a logic program into a call-correct one satisfying the post-condition. The specialisation is applied to specialised partially correct programs. This notion is based on the deenition of specialised derivation which is intended to describe program behaviour whenever some properties on procedure cal...
متن کاملTo Parse or Not to Parse to Parse or Not to Parse
Writing meta interpreters is a well-known technique to enhance the expressive power of logic programs. However, the resulting interpretation overhead considerably slows down program execution. A natural approach to solving this eeciency problem consists in specialising the interpreter with respect to a given object program, thus removing the overhead. Fully achieving the latter goal however, tu...
متن کاملTo Parse or Not To ParseWim
Writing meta interpreters is a well-known technique to enhance the expressive power of logic programs. However, the resulting interpretation overhead considerably slows down program execution. A natural approach to solving this eeciency problem consists in specialising the interpreter with respect to a given object program, thus removing the overhead. Fully achieving the latter goal however, tu...
متن کاملA tool to check operational properties of Prolog programs with application to program construction and program optimization – Tool demonstration
We present a tool, based on abstract interpretation, that checks the correctness of an annotated Prolog program with respect to formal specifications of its procedures. Specifications describe operational properties such as mode, type, sharing, linearity, and size of input/output terms, occur-check freeness, conditions for sure success and failure, number of solutions to a call, including deter...
متن کاملBottom up Specialisation: towards General Foundations ?
In this abstract, we develop a solid theoretical foundation for a bottom-up program specialisation technique, capable of specialising a logic program w.r.t. a set of unit clauses. Extending a well-known operator, originally introduced for composing logic programs, we deene a bottom-up partial deduction operator and prove correctness of the transformation with respect to the S-semantics.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998